Formal development of programs and proofs

Författare
(Edsger W. Dijkstra, editor.)
Genre
Konferenspublikation
Språk
Engelska
Förlag År Ort Om boken ISBN
Addison-Wesley cop. 1990 USA, Reading, Mass 242 sidor.